| 翻訳と辞書 |
| description logic ： ウィキペディア英語版 |
description logic
Description logics (DL) is a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive than first-order predicate logic. In contrast to the latter, the core reasoning problems for DLs are (usually) decidable, and efficient decision procedures have been designed and implemented for these problems.
DLs are used in artificial intelligence to describe and reason about the relevant concepts of an application domain (known as ''terminological knowledge''). It is of particular importance in providing a logical formalism for ontologies and the Semantic Web: the Web Ontology Language () and its profile is based on DLs. The most notable application of DLs and OWL is in biomedical informatics where DL assists in the codification of biomedical knowledge.
== Introduction ==
A Description Logic (DL) models ''concepts'', ''roles'' and ''individuals'', and their relationships.
The fundamental modeling concept of a DL is the ''axiom'' - a logical statement relating roles and/or concepts. This is a key difference from the frames paradigm where a ''frame specification'' declares and completely defines a class.〔
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「description logic」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|